#ifndef __DV300_GPIO_H__
#define __DV300_GPIO_H__

#include <stdint.h>

static void *const gpio_base_addr[] = {
	(void *)0x120D0000,
	(void *)0x120D1000,
	(void *)0x120D2000,
	(void *)0x120D3000,
	(void *)0x120D4000,
	(void *)0x120D5000,
	(void *)0x120D6000,
	(void *)0x120D7000,
	(void *)0x120D8000,
	(void *)0x120D9000,
    (void *)0x120DA000,
    (void *)0x120DB000,
};

static const uint32_t gpio_data_reg_offset = 0x3fc;
static const uint32_t gpio_dir_reg_offset = 0x400;

const char *const cputype = "dv300";

#endif
